Gdr -prs -th Emes Temps R Ef Erence Du Document Cr-21-1 Auteur Langue Anglaise Date D' Emission Mots-cl Es Contraintes Temporelles, Syst Emes Temps R Eel Gdr -prs -th Emes Temps
نویسندگان
چکیده
Ce document, tir e d'un rapport du projet COMPLEMENT, propose des d eenitions sur la notion de types de syst emes et de types de contraintes temporelles.
منابع مشابه
Stability of Discrete-time Systems : New Criteria and Applications to Control Problems
The aim of this article is to present some new stability suucient conditions for discrete-time nonlinear systems. It shows how to use nonnegative semi-deenite functions as Lyapunov functions instead of positive deenite ones for studying the stability of a given system. Several examples and some applications to control theory are presented to illustrate the various theorems. Stabilit e des Syst ...
متن کاملCausal Deliveries in Unreliable Networks with Real-time Delivery Constraints R. Baldoni, A. Mostefaoui and M. Raynal
Causal order states that for any process the order in which it is delivered messages cannot violate the happened-before relation of the corresponding sendings. The aim of this communication abstraction is to cope with the asynchrony of communication channels in distributed systems. This abstraction has been deened for distributed systems without real-time delivery constraints. In this paper we ...
متن کاملWorst - Case Timing Analysis of the Rtems Real - Time Operating System Antoine Colin , Isabelle Puaut
Knowing tasks worst-case execution times (WCET) is crucial in systems with hard real-time constraints, in which missing a deadline can have catastrophic consequences. Worst-case execution time analysis (WCET analysis), thanks to the analysis of a piece of code, returns an upper bound for the time required to execute it on a given hardware. Since real-time operating systems are used in many syst...
متن کاملUn modèle d'architecture multi-agents entièrement écrit en Prolog
La r ealisation de syst emes d'inf erences multi-agents a et e etudi ee de nom-breuses fois sous dii erents aspects, chacun avec ses inconv enients. La plupart du temps, les r ealisations de ces syst emes ont et e eeectu ees dans des langages imp eratifs classiques, qui fournissent un code long, et peu souple. Dans ce papier nous proposons une archichec-ture multi-agents hi erarchique dans laqu...
متن کاملLong time asymptotics for some dynamical noise free non-linear filtering problems
A good way to study the accuracy of optimal non-linear ltering is to look at the concentration of the conditional law on arbitrary neighborhood of the current (unknown) state as the time goes to innnity. In this paper we consider a restricted class of systems without noise in their state equation and under some more assumptions we show some results concerning the concentration of the conditiona...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007